perm filename CMSY5.360[360,GF]1 blob
sn#803143 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#~Lf∧ EC↓⊂λD%H↓VE@α∃`U0↓ 50↓ 5(↓@5 ↓`5 ↓`5_↓↓5⊂↓↓ Eλε∀↓TPA0@↓R@ ⊂↓B DPβα@dPαC4X↓Q(D⊂ ¬α↓α@@P('`0@&↓ λα↓ `_@ `⊂'@⊂λβ@)`_βIP ↓@iP_↓α P_BIP_βA P⊂∧@i@_∧@i@_∧@I@⊂¬)@⊂↓ `λ%@@⊂H%@ 8"Qλ0pλ∧αHαT tx↓↓4pA@$hA`$`↓↓@$X↓R`$X↓∩@4P↓R@4Pα∩@P8R`P ↓∪↓∧hαQ(D ¬b↓ββ a&@@_α↓I0⊂α@``(%@ `_βA
⊂∧@j ⊂∧@j⊂_∧@j⊂_∧@J⊂⊂¬J⊂⊂∧@J_∧@*⊂∧@*⊂∧)p⊂βipH'↓hT "CB↓λαe∧∪`⊂(↓S@ (↓∪ 4h↓S ThβS`Dh↓∪$X↓∩`$P↓B∀PαA$P∧ST("⊃BqHλ∧↓⊂p(∧ p⊂↓@`pλ'@@_&@@P⊂*J0_)@J0H)α* ⊂(@J⊂⊂(I@λ↓@) 0%↓(T #Dα!⊂λα e¬∪` (α∪@⊂@↓∪ ⊂HS @R`$X↓∩@0P↓∩@0H↓R@@@↓∩@@8↓R`P ↓Ra⊂λ↓∪ P⊂↓∃%_↓∪tXβQ(D@ε"⊃αAA@λ&B↓0λ&@@_¬I0⊂α@a⊂⊂%@ `_∧@J ⊂∧@j ⊂∧@J⊂p(CJ⊂⊂∧@J⊂⊂∧@J_∧j⊂∧@j⊂∧@ip⊂¬`0λ'@A @I`⊂¬AK@_"Q ⊃_ Dα0εSAdhA`$`A`% ↓∀`5_↓∀`%⊂↓T@%⊂↓∀ 5λ↓∀ 0T 0S↓DX¬Q(DPF"!εBJPX)@@pλ)!λ(@@p⊂(@p⊂(!⊂,K⊂+@jp_+@Jp⊂+i@λ∧@I0_∧) (β)0P&↓hT %E"qλ↓ @αS@00↓`$`αA$p↓@@$p↓@ ∀p↓ ∀pα∪ Thβ∪ ⊂↓∪ ⊂↓S0_↓∪ ↓S (↓A`$X↓↓`00R` @↓@`$P↓α@T("∪α! λ∧↓0 *↓J ⊂↓@j⊂⊂αJ_(Ip_'@I`_'i`⊂&@iP_&@A0⊂&αP⊂%Ci ⊂β↓HT &H∧1λλα@!⊂T`1λ↓∀@A↓T@Pp↓T@P`αT@⊂λ↓B`e⊂@ @HβT@⊂λαα0⊂↓T ⊂_↓A`0_↓T ⊂_α↓ 0 ↓T _α↓0(↓T⊂(α @0↓S` (∧↓`4xA``@↓R@⊂_↓↓`@P↓R@PH↓α`TPαE@DPα⊃(Dp∂πBA_
↓ 01↓*@λεj0_¬@* ¬@* (∧@* (∧@* λA↓λ) ⊂ β@* λ↓↓`λ(@ 0 β*⊂λα↓Pλ(@ @ α*λβ↓0λ( ` ↓@*λβA λ%@ 0λ∧↓I 0∧A) 0¬↓ 0 εHT 'E#↓λα⊂ αT _∧S`⊂ ATpA⊂8α∪ ⊂ ↓↓`D`↓` H↓R` B@4X↓β`4P↓C`$P↓C`$P↓C@$Pαβ ∀Pαβ∀Xαα@∀Xβ↓@$`¬S@t("∀αQ0λD``'∧ @⊂α`@0%@@P_β↓ 0λβ`p_)A_)A⊂(@aλ(@`pλ(@@`⊂(@@⊂((↓j⊂(Ip_'@Ip⊂'HT (Eβ↓_λα eλ¬∪` (β∪@⊂HαS ⊂Xα∪ `↓R` h↓R` h↓R@0h↓∩@0h↓∩@@X↓∩@PP↓∩a _↓∪↓_↓∃@∃_↓S↓HRa00SaU_∧⊃(E⊂FB↓ββ)aλ&@@_αA)0⊂α@`p_%@ `_β@j ⊂∧J ⊂∧*⊂_βJ⊂_↓↓
⊂⊂↓↓*⊂⊂↓A
_α↓
⊂αA
⊂β↓`λ'@@p(↓@Ip⊂∧↓i`⊂¬↓λT )DBAλα@u⊂¬∀ ⊂0↓T 8S`4xα∪`e∧∀@u(αS ⊂@α∪⊂P↓R` P↓∩@@HR@`0Ra4hβQ(E εα⊃λ
@)q&D)@⊂β@i0⊂∧I _β@i λ∧@j@⊂)@j0_)@j0⊂)j ⊂(@J⊂'α)P@"Q
Q
∧α_αβ∀Xβα`∀P@`0P↓∪@ P↓S@ P↓∪ P↓S P↓S P↓S Hα∩`0Hα∩` H@ 4X↓α⊂⊂↓∩@08@`$P↓A@⊂_↓R@@_↓↓4PβA@TXαα4("∃B! λD⊂_¬@I (∧A 0(∧↓ @(∧@IP ¬)`_¬)`_∧@)` β@I` βip_α@ip_αip_↓@ip_↓ip_@ip0'A)p '@HT +GD↓λλ 0hB $PαB`0@↓R`PHαα4`αα`@↓∪ 0@βα ∀hα↓@ ⊂αα∀hα↓ _α↓`∀p↓A ↓A@$p↓A (α↓ $p↓@` 0α↓$p↓@@08↓@`$p↓@@ @α 4p↓@ Hα $pαB`TpαB`DpαβDp↓C 4p↓β@$("⊗αQ@λ∧p β@ip0β↓ `λ↓A`⊂)↓`λ)@`Pλ)@`0⊂)@`⊂⊂)A
0_)↓*⊂A `⊂αiPλβi@λβ@i0⊂βA λ%`p0%A⊂ "Q⊃_
Db_αα$XβA`4P@`P@↓∪`@HT@@T@@T 08T 08T @(T @ ↓∀@0_↓∀@0⊂↓∀@0λ↓∀@U⊂α∀@4PA@4P↓↓4Xβ∪D("⊗BQ8λ∧↓⊂`(C*⊂∧@Ip⊂∧@I`λ¬K⊂+@J H*@ 0λ)@J ⊂(@A λ(! _'A0⊂&@A0⊂&βi x"Q↓λ
@ `λRB∀("↓B10
Da⊂⊂)@J0⊂)@J0⊂)@J0⊂)@J0⊂)@I!_%∧j0⊂)@J0⊂)@J0⊂)@J0⊂)@I!_%∧hT ∧∧ba(λ↓`Tx↓@⊂⊂↓∪@⊂ A∀hA ⊂(S⊂0A@∀`A@⊂0R`⊂8A`∀XA`⊂8R@⊂@B∀PB⊂@RB4PB⊂@R@⊂@B∀PB⊂@R`⊂8A`∀XA`⊂8S⊂0A@∀`A@⊂0S ⊂(A ∀pA⊂ S` ⊂@@%λαQ(@P EBQβA)p⊂α@I`λ∧@)Pλ¬@)@⊂¬@I@λ@!⊂λ@)0λ↓@ pλ↓@)0λα Pλα) λβ 0λβ) λβ@ ⊂λβ@) λ∧!λ%!λ∧) λβ@ ⊂λβ@) λβ 0λβ)0λα Pλα)0λ↓@ pλ↓@)@λ@!⊂λ@)@⊂¬@IPλ¬@)`λ∧@)p⊂α@J⊂("Q1 CA`↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓B@4Xα↓@D`ε∪`d("↔α↓_πβ@P0&β 0 β↓ _¬i ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εHT /∧α0pπ↓`%α∀Dxβ∪` ⊂↓∪@0⊂↓S@ ↓∪ 0 ↓S 0↓∪00↓S @↓∩`0@↓R` P↓∩@0P↓R@ `↓⊃(Exλ∧a`pA@⊂%a _%@A ⊂%@a_&A⊂&``_&@@`⊂&@`@_'@@⊂'` _'@@ ⊂'AJ (↓
⊂⊂"Q∧0`π¬"(↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∩@ _↓`$`↓ λ↓∪@Dx↓∀∀("λA@p
D`λ'@I` &@⊂⊂@I ⊂↓@@0⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@HT ⊂εCP@∧A ∀pS ∀XRc∀hS@∀xQ(Bλ
π!H
+pλ0)!P%εLλ/@+`λ"Q∧AP∞B↓⊂(C@∀pD∀hD@∀XRc∀hD@∀pD∀xC@∀("εB⊃( C``X'β)P_&i0_%@I _%I ⊂%I ⊂%I ⊂%i0⊂%@i@_&@i`h(αhT
D"Q_π@↓4PεU 50↓U`5@↓⊗5H↓⊗ %H↓⊗ %H↓⊗ %@↓V%8↓U@5(↓RATP¬Q(C⊂π∧B0xβα `P&@i@_%@i0⊂%i ⊂%I p%βI ⊂%I _%@I0_&iP_'αJ@"Qπ↓λDα↓β$P↓β$P↓B@4X↓α@$X↓B4`ε∪↓Dh↓↓@$h↓A4p↓↓$p↓@@4x↓@$xβ∀Eα∀ %λ↓⊃(CHεβb↓β `*J@⊂*J@⊂*I0X%β
@⊂*J@⊂*J@⊂*I `%βλT ≥∧α08∧@α∧Pλ⊗%@↓⊗%@↓⊗%@↓⊃(A λE#↓λπ@Jp *A
@_)↓
'↓ P_%A _%A P_'↓
)↓
@_*A
p ,@Hp ∧)!λ"QαQλ
Fα⊂↓∩@D`α∪@4xα∀ E_α∃ 50α⊗50α∃ 5_α∀ Dxα∪@4`α∩@DP↓⊃`@λRB∀("∧"10εC↓_%∧hp ∧i!_#A↓_%∧hT 7αAQ@ $P↓∩@4X↓∩`$X↓S$`↓∪4h↓∪ $h↓S@$p↓S`$x↓∪`5↓∀%↓T %λ↓∀ 5⊂↓∀@$("~@ 0∧@⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Q⊂_β@pλR@4XQ(@(πβaP`βIp '↓IP_↓i@_αi0_βi _∧i _∧i0_βi@_αiP_↓i`0'A
⊂"Q`PεFα 8↓S`$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪ $P↓S $p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪`%λ↓Q(F8¬β#↓⊂iP⊂'I`⊂'I`⊂'I`⊂'I`⊂'Ip⊂(@ip⊂'I`⊂'I`⊂'I`⊂'I`⊂'IP⊂%hT _FCPP¬`PPαS0λα↓@ ↓∩`⊂8↓↓⊂@R@⊂H↓@⊂PR@⊂P↓B`∀PB` XR@⊂X↓B@∀PB@⊂⊂↓α ∀XB⊂ ↓↓`∀`↓↓ 0α 4hαB@T("≤a0p
D↓⊂(A
⊂λ@J⊂λ(J⊂(J⊂'@Ip⊂'@Ip⊂'@Ip⊂'I`⊂'I`⊂') ⊂↓) ⊂@)0_"Q x
βaP↓α`$P↓B 4X↓A`4`↓A 4h↓@`4p↓@ 4xαT5↓S`Tp↓@ 4h↓@`4`↓A 4X↓A`4P↓B 4P↓α`$("a@p¬α`P⊂'@I0λ↓@@0λ%↓⊂⊂A @@'@I@@%↓⊂⊂A 0λ↓@@0λ'@Ip⊂"QA_∧!`HT@5λαT@5_Q`0 RB48↓B ∃⊂↓T U⊂↓T`∀("↓b10
C ↓_%∧j0⊂)@J0⊂)@J0⊂)@J0⊂)@I!_%∧j0⊂)@J0⊂)@J0⊂)@J0⊂)@J0⊂)@HT ∧Dba(λ↓`Tx↓↓ $pB ∀hB`∀`C ∀`C ∀XC`∀XC`∀PD ∀PD ∀P R@⊃λR@⊃λR@⊃λR`⊂xR`⊂xS⊂hS⊂hS ⊂XS@⊂HS` (↓∀ T("αb10
Dp('@@P⊂'!⊂λ&@!0λ&!@⊂&!0λ@)0λ¬@ 0λ%@! λα) λ¬ `λ%!⊂λβ@) λ∧!λ%!λ∧) λβ@!⊂λ% `λ¬)0λα! λ%@ 0λ¬@)@λ@!0λ&A@λ&@!0λ'!⊂λ'@@P⊂(A(T ε∧ba(λ↓`Tx↓↓ $pB ∀hB`∀`C ∀`C ∀XC`∀XC`∀PD ∀PA`08R@⊂8↓A`∀PA`08R@⊂8↓A`∀PD ∀XC`∀XC`∀`C ∀`C ∀hB`∀pB ∀x↓↓ %λαQ(@h
π"Q∧B
p'↓!(&@a`_&b_%@b _%@B@⊂%b@_%B`⊂%B`⊂%B`⊂%B`⊂%B`⊂%B`⊂%b@_%@B@⊂%@b _&b_&@a`_'↓!((βJ0@"Q↓`PεBa0 ↓∪dX↓@@4P↓A4P↓↓@$P↓↓@$P↓↓@$P↓↓@$P↓A4X↓@@4`β∪@$("βa h¬B`@⊂&↓I0@%αI P%αI P%αI P%B @0'HT λ∧b`xε@ x↓∩@0h↓R`0X↓SP(αSA5λαQ`@8αSA4`αA TX↓B`4P↓C 4P↓β`$("∧B⊃(∧ `X'β)P_&i0_%@I _%I ⊂%I ⊂%I _%@I0_&iP_'β*X#A⊃%DλT D"Q@λ@↓4PεU 50↓U`5@↓⊗5H↓⊗ %H↓⊗ %H↓⊗5@↓∃`50↓U 4PεRA48αα∧Pλ⊃(A0λE#↓λπ@K⊂⊂,@K_,Jp_+j@ (A) P%αJ⊂(*↓
`_+@k⊂,k⊂⊂,@Hp ∧)!λ"Qαqλ
Fα⊂↓∩@$P↓∩@4X↓∩`4`↓S DxαT!%λ¬∪`Thα∪4X↓R`$P↓R@$P↓⊃`@λRB∀("εα10βα 0 ¬@)0@∧@)0Hβ@I _α↓ @_%@pH%!⊂@%!0 "Qβ⊃_β!@⊂αB`∀X∧α ∀Pε↓ $P↓↓!DPB↓∀PB`T8↓@PXRaHRA@(↓∩@ (ε∩@⊂@∧R@⊂XαQ(A`
π"0xπ@`P_+A@ +`P_*↓@ )↓@ (@`P_'A@ &A@ &`P_%↓@ %↓@ &`P_&A@ 'A@ (@`P_)↓@ *↓@ +`P_+A@ ,@`P_"QβQP∞Dap↓A 4Xα↓Dh↓A 4pα↓Eα↓E⊂↓A 5_α↓E(α↓E8↓A 5@α↓E@α↓E8↓A 5(α↓E_α↓E⊂↓A 5α↓Dpα↓Dh↓A 4Xα↓DP↓A 4("πB⊃( βAp⊂,@K⊂⊂,k⊂+@j`_*↓
⊂(%αI P(A*@ +jp_,K_,@K⊂⊂"Qβqλ
DA`↓∩@$P↓∩@4X↓∩`4`↓S DxαT!%λ¬∪`Thα∪4X↓R`$P↓R@$P↓⊃(B(
π"Q @@⊂/↓L_/@@⊂λ.@` λ.`0λ-@`Pλ-``λ,@Jp_+jP_*j0⊂(@j_'@i`_&@I0_%i ⊂"Q∧aP∞E"↓∩@4X↓S $p↓S`5↓T 5_↓∃5(↓U@58↓V %P↓A@∃X↓A ∃`↓@`∃h↓@@∃x↓ ⊗↓W@e`↓↓$(" b10εC0 ¬@)0@∧@)0Hβ@I _α↓ @_%@pH%!⊂@%!0 #A ↓_%∧hT ∀εCPxεB@∃ ↓∀`%⊂↓∀"4x
S DPαSDp↓TαEλ T@%_↓∃% Q(BH
π!phπ@+⊂,@K ⊂%∧i!(.Ap(/↓P_%¬ !_-K⊂⊂,K⊂λ"Q¬!λ E"@T 5λ↓T λ↓∪` _↓∪@0_↓S 0(↓R`P(αR@0λ↓↓ λ↓R@⊂_↓↓ _S@ (↓∪@ (↓∪@ (↓∪@ (↓∪@ (↓∪@ (↓∪@ (↓∪@ (↓∪@ (↓∪@ (↓∪@ (↓∪@ (↓⊃(BXλDbQα@P⊂'@P⊂'@P⊂'@P⊂'@P⊂'@P⊂'@P⊂'@P⊂'@P⊂'@P⊂'@P⊂'@P⊂% 0⊂α@@0λ%`⊂⊂α@@⊂_%A P(&@`P_'`0_'@@0⊂(@⊂⊂(@j⊂_)(T ⊗εCPxεB ⊂0T@ 0↓∀ @↓∀0@↓Sb∧p ∪1↓R@A⊂α∪1↓S 0p↓Sb¬π∀ @↓∀ @↓∀@ 0↓∀`⊂0Q(Bh
π"Q@@⊂%↓I0_%@ ⊂⊂%@ _%@ 0_% P_% `_)@J@_*@j`_+@k⊂⊂-k0_.kP_/@L_0@l ⊂"Q¬aP∞E"↓@↓_ 6↓W`%h↓W5X↓V@5H↓∃`50↓U 5 ↓T`$PA@4PA 4X@`4X@@4X@ $X↓R@dP↓↓$("b10¬α@0 ∧@i@⊂AP⊂%@ `⊂↓@) λ∧@⊂λ%!⊂_%!⊂_%!⊂_%!⊂λ@I0λβ@ 0⊂& @⊂αA P ∧@hT _↓A`εA∀h↓S 4`↓S4`↓S$X↓R`4X↓∩`$P↓∩@$("aa⊂ C`@%αJ _)@j@_*@JP_+J`⊂%βI p+J`⊂*@jP⊂*j0_)i P%αλT ~εβ!λα`% α∃E_β∀@0⊂↓T 0 ↓T 0↓∀00↓S`0@↓S@0P↓S@ `↓∪ 0`↓S0p↓R`1↓R`!⊂↓∩C∧P⊃(C(εBXε !@%@B ⊂%@b_&a`_&@a@_'A@⊂'a _'@a_(``_(@@`⊂(@`@_)` _)AJ@ *↓
P⊂"Qε`x
¬"h↓∃@50↓∃ 5 ↓U%_↓T@5⊂↓∀ 5λ↓∀4x↓S`$p↓S 4h↓∪4X↓R`$P↓R@$("
`00∧B@⊂%I ⊂%I _%i ⊂%I ⊂%HT ≥BAQ_ ↓`%λ↓∪ d`@`$X↓`4X@`DP↓` λ↓∩@ _↓ $P↓@0λ↓∩@ ⊂↓@$P↓@ ⊂↓∩@ λ↓@@$P↓ _↓∩@ λ↓`$Pα@`$X↓A∀X↓@`$X↓@@$Xβ∩`$("∂α10λ∧ _αA 0λ↓@@ λA λα↓0 % P⊂αA 0λα`P_& 0_βiPλ↓`` &@ _β@IPλ↓αi λ@@ _↓i0⊂↓@` _(` _(` _% P⊂↓@i ⊂α@0_%@ 0⊂α@` ⊂%A p "QπQ⊂
Dα_β∪⊂(↓R`⊂8α↓∀PB@dPR@∀XB@D`B _↓∪ @_↓A∃ ↓U 50↓R@P@↓S 08↓S@@(↓T0_↓T t("∂BA8λ∧↓ %¬
0⊂)@J0⊂)@J0⊂)@J0⊂)@J0⊂)@J0⊂)@J0⊂)@J0⊂"Qπq DαH↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∩BDP
⊃(Dπ∧"↓@!λ%@p_%@p %`p %@`p_&``⊂&@`Pλ&↓@ λ& @)0⊂↓A)0⊂α@i0⊂βi0⊂β@i@⊂β@i@_β@I@_β@I (β@(T .Dα0pπ `↓∩@ `↓∩@ `↓∩@ (↓↓ $P↓↓ (↓∩@ (↓↓ $P↓A⊂↓∩@ ⊂∧@$P↓↓ (↓∩@ (↓↓ $P↓↓ (↓∩@0P↓R`@0α∪↓Dxβ⊃(Fπ∧"↓I ⊂%I ⊂%I ⊂%I h%βI ⊂%I ⊂%I ⊂%I ⊂%HT 0CB⊃λβ%0↓∃@%0↓∃@%0↓∃@$XεRAe0↓∃@%0↓∃@%0↓∃@%0↓∃@$("_ApD@⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I @%αλT 1B↓⊃H ↓@%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∩A∧P∧⊃(F ∧βC⊃⊂α @%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"QP@∧F" ∧∩A¬↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀$("~pPD@P⊂'@I`_'IP_&@I@_&I@⊂%@i0⊂%i ⊂%I _%@I0_&I@⊂&iP⊂&@i`⊂'ip⊂'@HT 4Aa!H $P↓∩@4X↓∩`4`↓∪4h↓∪ $h↓S@$p↓S`$x↓∪@4p↓∪ 4h↓∪ $`↓S$X↓R`$P↓R@$P↓⊃(FX∧ββ⊃⊂@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂%@@⊂"Q
@`πεα (↓∪`$pα∪ λ↓ $P↓` _↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$P↓` _↓∪ λ↓ $pα∪`$x↓⊃(FhλDc↓⊂∧*⊂_(↓)p_@i`_↓@i@ αA 0αAI ⊂↓@P⊂↓I`⊂α@I`⊂α@I`⊂α@I`⊂α@I`⊂α@I`⊂α@I`⊂α@I`⊂α@I`⊂α@I ⊂↓@P⊂↓I 0αAI@ αA `_↓@ip_@j((@j λ"Q
p_ββaP↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4("≤β↓X@"`⊂/@kp⊂/k`⊂.@k@_.K0_-@K _-K⊂_%@a _% ⊂⊂¬IP⊂∧iP⊂∧I`⊂βi`⊂α@ip⊂αIp⊂↓@j⊂↓J⊂@j⊂ (A
⊂"Q∞⊃ ∧α∧↓↓∧h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4h↓B4P
⊃(G⊂
Fα↓¬)!(%Di0 ε@I@ ε)P_¬@)P ∧@I` ∧)p_β@)p β*_α@* ↓@J⊂ ↓* _@* ()@j@λ"Q∞A CA`↓∩@$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$P↓β$Pλ∩B∧("≥"↓_πβ@↓%∧ ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εI ⊂εK⊂,HT ;∧Ba@λ@α$P ∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P ∩B$8αα$P ⊃(G8 ¬#↓λ∧I!⊂-K ⊂-K ⊂-K ⊂-K ⊂-K ⊂-K ⊂-K ⊂-I!⊂%∧Hp ∧I!⊂"Q∂Hε¬"⊂α∩` _R@ ↓∩@ ↓∩@$XS∀`α∩` _R@ (R@ (↓∩@ (↓∩`⊂(↓∪⊂_↓∪ ET ∃λ↓∩` ↓∩` ↓∪⊂_↓∪ D("≡! h
D@⊂'I`⊂'I`⊂%αI P'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'I`⊂'HT =αAQ(λ↓$p↓∪@$p↓∪@$P¬∪@$p↓∪@$p↓∪@$8A$p↓∪@$p↓∩A$P¬∪@$p↓∪@$p↓⊃(GXπDBQααi@h%A@0⊂%↓`0⊂%↓`0⊂%↓`0⊂%↓`0⊂%↓`0⊂%↓`0⊂%A@0⊂&↓ 0⊂'`0⊂'@@0⊂'@@0⊂'@@0⊂'@@0⊂'@@0⊂'@@0⊂'@@0⊂'@@0⊂'@@0⊂'@@0⊂"Q∂A0∧b@β∀↓$xε∪aDxε∪aDxε∀↓$` ∩bDP∩BdP∩BdP∧@ ⊂∧∩`p⊂↓@thα` _α∀`E_α∀`D("∨"A8 D↓⊂⊂)↓
(AJ_↓ip_αi`_βiP_∧i0 ¬↓ _πi _πi0 ¬↓ P_∧i`_βip_αj_↓j⊂0)↓
)@HT ?¬αqλ`P αRb$P↓A @(↓R@ 8↓↓`$P↓↓` 8↓∩@!↓∩@!↓∩@0p↓R` p↓∩`0`↓S0P↓S @0α∪`0 ↓T↓¬⊂α∀`%_↓⊃(Gx
¬b1∧@J )↓
⊂0(α ``&CIA%DI! %¬ ! %¬ ! %↓` ⊂↓↓i00↓@ 0&↓0⊂↓A
)↓
"{avH2→-g 4YM⊗(9λλ4h)V=qh1[lFH7→n6_4→-V(⊂∃U@⊂≠,↔ 4λ∞7H6XMv`9{aF07[NF00XlV⊂<]←_=|↓x_@
,≠C7OX≠@OX≠@⊃␈␈␈xt ⎇@↓X∧*V0wh{!0βU+ β∞←0↓ε`↓λ*Y@εl>`_ ↓<8∪hx=@AP∧*V0↓ah{↓"⊂¬qd`β⊂/0βε`↓λ*Y@βb≡`8
@α∃(3p =A↓X∧*V0{X{α#0λU,`βN?0¬ε`↓λ*Y@∧∞↑`X
@α∃(3pf=AAX∧*V0↓sx{β$
qf0βt/0π∧@XcI@π}>`x ↓<8∪↓∀=B↓X∧*V0α∧8{∧#0λU,`α⎇O0 ε`↓λ*Y@λ≡≡a_
@α∃(3↓U⎇BAX∧*V0↓80{¬#0λU,`αw∨0ε`↓λ*Y@λ7↑a8
@α∃(3↓λλ⎇C↓X∧*V0α∀ {ε#0λU,`∧-∨0
ε`↓λ*Y@¬∨≡aX
@α∃(3PU⎇CB⊂¬8s_α~⊂{π$
qf0∧?∨0∂ε`↓λ*Y@ ∀≡ax
@α∃(3↓⊂>⎇Dα⊂¬8s_↓"X{λ$
qf0αH/0⊃∧@XcI@∧|≡b_ ↓<8∪HZ⎇DB⊂¬8s_↓%H{ $
qf0∧U/0∪λ@↓(cL` :>b8
@α∃(3↓_∀=Eα⊂¬8s_α5_{
$
qf0∧o/0∃¬@pβ h>bX↓`ε@↓ ↓=EB⊂¬8s_αF_{$
qf0¬∀/0↔λ@↓(cL`
8>bx
@α∃(3↓(⊂=FX↓achαUx{$
qf0β$␈0→εx∞ ¬6↑c_↓q`@↓(@=FAh∧qdhαZx{
#P cIP¬=o0≠>c8↓00=G↓_β≤9P↓0H{∞"@ε8s αho0≥εx∞ ¬[}cX ↓<8∪↓0=⎇GAH∧π∂_αm@{∂#⊂λ∞≡0¬h∨0∨ε`↓λ*Y@a≡cx
@α∃(3↓8V⎇H↓0β@hα⎇0{⊂#@λt~`∧?0!¬`pZa@~↑d_ @↓H_9@↑⎇HAX∧*{∂⊂{⊃"0ε∃,'?0#ε xgl[≡d8
@↓YX.@λO⎇I↓p∧cM≡⊂{∩"@εG→ F←0%εx*X`↓→↑dX
α∞λ.@⊂Q⎇IA@βmy/{∪$pE>`d?0'π↓⊂α∃@↓d↑dx
@α⊗h%_⎇⎇J↓Hβ}f0D`{∀#@ π⊂0↓⊃␈0)π@↓_⊃W α6↑e_↓↑_M(∃⎇JA β%V⊂{∃"`ε}] ↓2←0+¬@p0z@α{≡e8⊃α↑λy@0→⎇K↓Hβ}#hj`{⊗"pπ7b↓↑←0-ε xn2@βQ≡eX↓q`@@`⎇KA@βcH↓⊂{↔#πG⊂ε∧?0/εx∞ ∧O}ex↓q`@H==L↓0β@hβπ⊂{_"`π↓Pε∪?01∧ PU,`1≡f_λ@↓*PY@↓@␈⎇LAλαU+_β∪P{→"⊂¬*V0ε.←03∧@XcI@ε->f8 ↓<8∪`w=Mxα1dβ≠{~!p∧cHε=?05α`8*V@ε∂≡fX ↓<8∪↓P∪=MA⊂αxr0β)({≠"`π↓Pε[o07∧@XcI@ε}fx¬@u(-↓X"⎇N↓X∧1dhβ6`{≤# λ$␈ εw←09π ↓⊂8v@∞↓↑g_λ↓!`=h<=NA@βcHβD({≥#πG⊂π⊂∂0;ε`↓λ*Y@∞.}g8
@α∃(3↓`w=O↓λαU+_βRλ{≡"⊂¬*V0π-O0=∧ PU,`∞g}gX↓`ε@↓hi=OAX∧*V0βbh{∨#0λU,`πM∂0?ε`↓λ*Y@∂+}gx
@α∃(3↓p{> ∂]⊂=xow{⎇x